*Re-add r20317 with support for older URL param, rename "undoto" to just "undo"
authorAaron Schulz <aaron@users.mediawiki.org>
Wed, 28 Mar 2007 19:41:53 +0000 (19:41 +0000)
committerAaron Schulz <aaron@users.mediawiki.org>
Wed, 28 Mar 2007 19:41:53 +0000 (19:41 +0000)
commit0fe87673b78482cfe60b02e2937d1284d83ad4d8
treeeb22f8c7efcfc10dfa98d3d9bec43b44c6a853ec
parent88a11fc7f58bd1ff1917b26ed97ba84e43113812
*Re-add r20317 with support for older URL param, rename "undoto" to just "undo"
includes/DifferenceEngine.php
includes/EditPage.php